#ifndef __MICKEY_HELPER__
#define __MICKEY_HELPER__

#include "../mickey_bitslice.h"
#include "eSTREAM_MICKEY_2/ecrypt-sync.h"

void print_binword(uword w);

#define mickey_print_def(array, len)            \
void mickey_print_##array(mickey_state *ctx) {  \
   int i;                                       \
   for(i=0;i<len;i++) {                         \
      printf("%s[%2d] = ",#array,i);            \
      print_binword(ctx->array[i]);             \
      printf("\n");                             \
   }                                            \
}                                               

void mickey_print_R(mickey_state *ctx);
void mickey_print_S(mickey_state *ctx);
void mickey_print_keys(mickey_state *ctx);
void mickey_print_IVs(mickey_state *ctx);

void ECRYPT_print_R(ECRYPT_ctx *ctx);
void ECRYPT_print_S(ECRYPT_ctx *ctx);

#endif
